Free logic - PDFSEARCH.IO - Document Search Engine

Free logic
Results: 431

#	Item
111	INFRARED SINGLE-PHOTON COUNTING SYSTEM ID210 ADVANCED SYSTEM FOR SINGLE PHOTON DETECTION WITH 100MHz GATED MODE AND FREE-RUNNING MODE The ID210 is a major breakthrough for single photon detection at telecom wavelengths. Add to Reading List Source URL: www.idquantique.com Language: English - Date: 2015-03-23 10:17:13 Electromagnetism Pulse-width modulation Electronic test equipment Transistor–transistor logic Electronic circuits BNC 575 Digital electronics Electronics Electronic engineering
112	Journal of Computer Security–721 IOS Press 677 A compositional logic for proving security properties of Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2003-12-15 20:24:55 Logic Computing Mathematics Theoretical computer science Burrows–Abadi–Needham logic Free variables and bound variables Π-calculus Needham–Schroeder protocol Applied mathematics Cryptographic protocols Cryptography Predicate logic
113	Path- and Index-sensitive String Analysis Based on Monadic Second-order Logic Add to Reading List Source URL: researcher.ibm.com Language: English - Date: 2013-10-05 22:24:24 Computing Mathematical logic String Comparison of programming languages Context-free grammar Well-formed formula Trimming Rope Algorithm Formal languages Mathematics Logic
114	Learning & Behavior 2009, 37 (1), 1-20 doi:LBThe propositional approach to associative learning as an alternative Add to Reading List Source URL: users.ugent.be Language: English - Date: 2009-01-02 03:47:19 Propositions Propositional calculus Mathematical logic Logical syntax Statements Proposition Categorical proposition Recall Free will Logic Philosophy Mind
115	History of Lambda-calculus and Combinatory Logic J. Roger Hindley † 2006, from Swansea University Mathematics Department Research Report Add to Reading List Source URL: www.users.waitrose.com Language: English - Date: 2008-01-14 18:38:50 Lambda calculus Combinatory logic Computability theory Fixed-point combinator Function Haskell Curry Free variables and bound variables Principia Mathematica First-order logic Mathematics Mathematical logic Theoretical computer science
116	Bottom-up β-reduction: uplinks and λ-DAGs∗ (extended version) Olin Shivers† Georgia Institute of Technology Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-04-26 17:10:34 Computing Lambda calculus Directed acyclic graph Tree B-tree Free variables and bound variables T-tree Combinatory logic R-tree Graph theory Mathematics Binary trees
117	CS109B Notes for LecturePredicates Essentially Boolean-valued functions with arguments of arbitrary type. But predicates are uninterpreted; a predicate named , for example, need not givethe value TRUE. Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:59:19 Predicate logic First-order logic Free variables and bound variables Function Universal quantification Predicate FO Propositional variable Independence Logic Mathematical logic Mathematics
118	Draft UNIFEM Safe Cities Programme Logic Model* To improve women’s quality of life through the creation of safe cities and communities free of violence against women and girls GOAL INPUTS Add to Reading List Source URL: www.endvawnow.org Language: English - Date: 2015-03-22 05:12:01 Rape Violence against women Ethics Feminism Human sexuality Sexual harassment Sexual assault Gender-based violence Sex crimes Sexism
119	Type Checking and Inference for Polymorphic and Existential Types in Multiple-Quantifier and Type-Free Systems Koji Nakazawa∗ Makoto Tatsuta† Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:31:32 Mathematics Proof theory Lambda calculus Type theory Natural deduction Symbol Entailment System F Curry–Howard correspondence Logic Mathematical logic Deduction
120	Studies in Belief Change by Abhaya C. Nayak Submitted in Partial Fulllment of the Requirements for the Degree Add to Reading List Source URL: comp.mq.edu.au Language: English - Date: 2014-07-11 02:32:57 Belief revision Knowledge representation Logic Logic programming Philosophy of religion Epistemology Belief Free will Virtue epistemology Knowledge Philosophy Ethology

UPDATE